home *** CD-ROM | disk | FTP | other *** search
/ Universität Tübingen - 1997/1998 Winter / Universität Tübingen - Wintersemester 1997-98 - Uni-Informationssystem und Stadt-Informationssystem.iso / qvf / in / in2 / text / in2t3. < prev    next >
Encoding:
Text File  |  1997-08-18  |  1.1 KB  |  25 lines
  1. 3. Verifikation digitaler Schaltungen
  2.  
  3. Kebschull,U. (Dipl. Inform.), Rosenstiel, W. (Prof. Dr. rer. nat.), Schubert,
  4. E. (Dipl. Ing.)
  5.  
  6. Der formale Beweis der Korrektheit des Entwurfs
  7. eines mikroelektronischen Schaltkreises ist neben der Simulation ein
  8. wesentlicher Bestandteil im automatisierten Entwurf digitaler
  9. Systeme. Auf der Automatentheorie basierende Ansaetze scheitern jedoch
  10. bei groesseren Entwuerfen an der Komplexitaet der
  11. Automatendarstellung. Es wurden deshalb alternative Darstellungen
  12. boolscher Funktionen untersucht. Basierend auf der
  13. Reed-Muller-Transformierten einer boolschen Funktion wurden die
  14. funktionalen Entscheidungsdiagramme (Functional Decision Diagram, FDD)
  15. entwickelt. Sie vereinen die Effizienz der graphischen Darstellung
  16. durch binaere Entscheidungsdiagramme (BDD) mit der geringen
  17. Komplexitaet der Reed-Muller-Transformierten. Weitere
  18. Anwendungsgebiete der FDD sind die schnelle Reed-Muller-Transformation
  19. sowie die Minimierung mehrstufiger Logik.
  20.  
  21. Kebschull, U., Rosenstiel,
  22. W., Schubert, E.: Multilevel logic synthesis based on functional
  23. decision diagrams. - EDAC 1992.
  24.  
  25.